import java.math.BigDecimal;
import java.util.Scanner;   
public class C_1_13_3 {
    public static void main(String[] args) {
        Scanner sc = new Scanner(System.in);
        String str = sc.nextLine();
        BigDecimal bd = new BigDecimal("0.125");
        BigDecimal m = new BigDecimal("0.125");
        BigDecimal ou = new BigDecimal("0");
        for(int i = 2; i<str.length(); i++){
            int tmp = str.charAt(i) - '0';
            ou = ou.add(bd.multiply(BigDecimal.valueOf(tmp)));
            bd = bd.multiply(m);
        }
        System.out.print(str +" [8] = "+ou.toString()+" [10]");

    }
}